Collaborative Knowledge Acquisition with a Genetic Algorithm

Inductive inference techniques that allow symbolic representation of the acquired knowledge facilitate knowledge validation, revision and understanding by human experts. EVOPROL v 1.1(EVOlutionary PROpositional Logic) is an inductive, eecient, versatile system for supervised learning of logic rules using a genetic algorithm. EVOPROL contributes to computer assisted knowledge acquisition because it allows discovery of exible and/or alternative rules from examples. The approach presented here integrates sources of knowledge and establishes collaboration between the genetic searcher and the human expert.